Joyce—A programming language for distributed systems
نویسندگان
چکیده
منابع مشابه
Joyce - A Programming Language for Distributed Systems
This paper describes a secure programming language called Joyce based on CSP and Pascal. Joyce permits unbounded (recursive) activation of communicating agents. The agents exchange messages through synchronous channels. A channel can transfer messages of different types between two or more agents. A compiler can check message types and ensure that agents use disjoint sets of variables only. The...
متن کاملProgramming Language Support for Multicast Communication in Distributed Systems
Multicast or group communication is an important part of modern distributed systems, but programming language support for such communication is uncommon. Remote procedure call uses a familiar programming language abstraction to support unicast request-response communication; what should the corresponding abstraction be for multicast communication? The essential and desirable properties of a lan...
متن کاملCt : A Language for Programming Massively Distributed Embedded Systems
This thesis presents ct, a language for programming distributed embedded systems that are composed of thousands (even millions) of interacting computing devices. Due to the improvements in fabricating technologies, it is becoming possible to build tiny single-chip devices equipped with logic circuits, sensors, actuators and communication components. A large number of these devices can be networ...
متن کاملA programming-language extension for distributed real- time systems
In this paper we propose a method for extending programming languages that enables the specification of timing properties of systems. The way time is treated is not language specific and the extension can therefore be included in many existing programming languages. The presented method includes a view on the system development process. An essential feature is that it enables the construction o...
متن کاملubQL, a Language for Programming Distributed Query Systems
ubQL is a distributed query language for programming large-scale distributed query systems such as resource sharing systems. The language is obtained by adding a small set of mobile process primitives (communication channels, migration operators, etc.) on top of any additional query language. Queries are encapsulated into processes and can migrate between sites thus enabling cooperation. An imp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software: Practice and Experience
سال: 1987
ISSN: 0038-0644,1097-024X
DOI: 10.1002/spe.4380170105